#include <stdio.h>

int main(void) {
	int a, b;
	scanf("%d %d", &a, &b);
	b += a * 10;
	printf("%d", b / 19);
	return 0;
}